$\forall$${\it es}$:ES, ${\it Fail}$:AbsInterface(Top), $e$:E. Dec($\exists$${\it e'}$:E. ((${\it e'}$ $<$loc $e$) \& ($\uparrow$(${\it e'}$ $\in_{b}$ ${\it Fail}$))))